$\forall$$M$:MsgA, $T$:Type, $v$:$T$, $i$, $a$:Id, $n$:$\mathbb{N}$. ma{-}random($M$;$T$;$v$;$i$;$a$;$n$) $\in$ $\mathbb{P}$